Enforce the condition that variables generalized over in a type scheme must appear in the type itself