Context ambiguity checking

[robertkleffner]

Currently ambiguity checking is a no-op, which means that the compiler will try to generate code for ambiguous functions. Seems like it fails to do so in a lot of cases, which is good, but it also fails with unclear error messages or guidance toward resolving the problem.

Implement an explicit ambiguity check that at least points to the function that has the type problem.