Describe the bug
If you merge two type systems A and B, that creates a new type system C, but the ranges, domains and element types of the types in C will still refer to types from A or B.
Expected behavior
C should be self consistent and only refer to types from C.
Describe the bug If you merge two type systems A and B, that creates a new type system C, but the ranges, domains and element types of the types in C will still refer to types from A or B.
Expected behavior C should be self consistent and only refer to types from C.
Please complete the following information: