Fix transposition bug in normalization.  Add option to control printing
of variable freshening indices and (broken) support for type checking
each step of normalization.