Normalise theorems to use constructor/destructor functions

[Chris Warburton]

We're currently postponing the replacement of constructors and
destructors (if any) until matching time. We should do this sooner, at
normalising time, since:

 - We're messing with the theorems anyway, by replacing names.
 - This will ensure that "theorem deps" are representative of the names
   we want to sample.