# The static type of the variable (as declard in Java)
	var mtype: MType