better handling of universally quantified type variables
in polymorphic TFF (parser, typing with the new Type.Quantified module)