Fix confusing error message when record unification fails because enclosed types are incompatible
Fix confusing error message when record unification fails because enclosed types are incompatible

tokenrove/urweb,tokenrove/urweb,tokenrove/urweb