public BigNum constantValue; // valid iff domainValue == Value.Constant
public Elt(Value v) {
this.domainValue = v;
}
public Elt(BigNum i) {
this.domainValue = Value.Constant;
this.constantValue = i;
}
public Elt(Value v) {
this.value = v;
}