moved Types to Core.Types
Compound type definitions simplified,
 - Tuple is now list synonym
 - Union is now set
 - Union is also just type alias for symmetry