UnionType metaclass and target_type are the same union
Unions in type vars
Allow unions in type restrictions
Hashes working again
Removed the unification step :-)