nitc :: TypeVisitor :: resolve_mtype
fun resolve_mtype(node: AType): nullable MType do return self.modelbuilder.resolve_mtype(mclassdef, node) end