# All declared super-types
	# FIXME: quite ugly but not better idea yet
	var supertypes = new Array[MClassType]