Added unification/matching error reporting