Polymorphic typing of record operations
How to type the operations on records, concatenation e1 + e2 and field suppression e\ l in the presence of polymorphic variables. For the time being we do a safe but gross approximation. For instance
'a & r \ l = r \ l
Can we do better?