ModuleType.U
type expr =
| Path of Cpath.module_type
| Signature of Signature.t
| With of substitution list * expr
| TypeOf of typeof_t