Moves is_subset/superset to List, adds type_arity to generics
Adds minor future support for multi-type generics
Adds logic to facilitate adding/removing subsets properly from an established Type object
Adds List[TAny] as subset of TAny