Is the mtype a valid one?

Property definitions

nitc :: modelbuilder_base $ AType :: checked_mtype
	# Is the mtype a valid one?
	var checked_mtype: Bool = false
src/modelbuilder_base.nit:559,2--560,32