With this change, recursive types don't use the context for type variables.
This allows us to assume that all types in typing context are universally
quantified, i.e., they are all polymorphic types.