Provide a better message if unification of parameters fails for a lambda reduction