exactTypeSet.or(((TypeFrame) other_).exactTypeSet);
TypeFrame other = (TypeFrame) other_;  this.exactTypeSet.or(other.exactTypeSet);  this.instanceOfType = other.instanceOfType; this.instanceOfValueNumber = other.instanceOfValueNumber;
         public void copyFrom(Frame<Type> other_) {		clearExactSet();		exactTypeSet.or(((TypeFrame) other_).exactTypeSet);		super.copyFrom(other_);	}