ModuleValidator: fix for ceylon/ceylon-compiler#1055: visibility to compiled module was done wrong (by me)
TypeVisitor: make sure we try transitively visible module imports (ceylon/ceylon-compiler#1055)
AssertionVisitor: made checkType protected so the compiler can override it