oops fix bug in record types unify