rewrite error messages to be more helpful (include values, types, identifiers inline)