# The pool of types used to perform type checks (isa and as).
	var live_cast_types = new HashSet[MType]