Produce nice error message in case there were a type error during rewriting of the expression