constructing type modules