Property definitions

nitc $ TypeVisitor :: resolve_mtype
	fun resolve_mtype(node: AType): nullable MType
	do
		return self.modelbuilder.resolve_mtype(mclassdef, node)
	end
src/semantize/typing.nit:281,2--284,4