Data separated for ConstrainedTerm, SymbolicConstraint, and SymbolicUnifier