Merging type systems breaks consistency

**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:**
 - Version: 0.7.3
