Module Checking

module I = Ast_core
module O = Ast_typed
module Errors : sig ... end
val untype_expression : O.expression -> I.expression
val untype_program : O.program -> I.module_