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