Fixpoint type inference and type resolution

[sophiajt]

We now create inference variables and drive the inference variables to a fixpoint, allowing us to infer in more sophisticated situations.