orderValues partially implemented
orderValues fully implemented
wrote one of the readVars
implemented readVar for abstract vars
implemented setVar and shrinkVar for instance and abstract
notes about uninjecting
attach gone
corrected type of untyped values
skolem variables are weird
implemented runEffects
implemented loop
implemented solve
filled in some patterns
stub constraint
yay, everything still works