# The set of generic types found in a covariant (and invariant) position
	var covar_classes = new HashSet[MClassType]