Cleaned up Constraint-related internals

Moved the variable and constant resolution for Interpreted contraints
into AbstractInterpretedConstraint, removed redundant code from
AlgebraicConstraintSpec, and commented.