Fixing typos in type-eq-{record,variant}
Enabled record types

reinit-for-analysis is called on expressions before calling
annotate-type since some typing rules build expressions in their
premises.

Blame tracking had to be adapted to be on "trm-exploded" terms.
Fixed syntactic ambiguities in record typing rule

New metavar qualifiers ~:, ~= were necessary to fix this.