Allow that statically importable anonymous classes are disjoint for the purposes of switch (the model loader now give java enum values their own anonymous type, so this is all that's needed in the typechecker to allow switch over java enums). See #938, ceylon/ceylon-compiler#1470