Fixing a typo
inlining 1:1 check
Increasing test size to check for race conditions
Moving compilerErrors into isSuper/Subset functions, and adding a check for identical domain types