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