Add module notation to type exprs