Add another simple case for record unification between alpha-equivalent constructors
Add another simple case for record unification between alpha-equivalent constructors

tokenrove/urweb,tokenrove/urweb,tokenrove/urweb