Slightly improved the error message for Reduce typechecking
Slightly improved the error message for Reduce typechecking

lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift,lift-project/lift