Moving subtyping and consistent-subtyping to new type module before starting to refactor type checking code