# Store changes of types because of type evolution
	private var vars = new HashMap[Variable, nullable MType]