Module system, type checking