fix bug in unification of row types where one side is closed