Unifier context

Adds context information to the unification errors. In particular, they now state the function being applied and, if it is named, the argument in question.

This is also the first step toward controlled scope in error reflection, but the usefulness is independent.