Finish name/overload resolution and type checking

[SebastianSpyrzewski]

Make all of the above work correctly on lambdas.

We were talking on labs that functions should be made invariant.