Fix a bug with unifying records
(Partially) fix unifying unions with records
Get non_homo if to work