GitLab

Update testsuite in line with recent TH changes.

Added a couple of cases to TH_repE1 and added a new TH_repE2 that also
splices things back in and checks they can be printed correctly.

TH: Revised type variable handling in toplevel decls (became necessary due to
recent addition of foralls in type representations).

Seems (in DsMeta) as if reifyDecl should do class delcarations, too, but it
currently dies when applied to a class name.