Minor: Confusing message when one calls goal `type_error(_,_)` #845