Adding compilerError versions of isSubset/Super for unsupported domain types
Simplifying union