Adding a helper for type inference.
Improved type inference for functions, mostly adding variable case. Normalizing to lowest id type var.
Increased precision around unification of type variables, always renaming to canonical type var. Adding a yet unresolved inference case.