Module generalize

Structs

• Generalization 🔒
  Result from a generalization operation. This includes not only the generalized type, but also a bool flag indicating whether further WF checks are needed.
• Generalizer 🔒
  The “generalizer” is used when handling inference variables.