# The dynamic type of the instance
	# ASSERT: not self.mtype.is_anchored
	var mtype: MType