Lighter support of polymorphic type variables using a dedicated environment instead of FullEnvi.t