Got rid of continuations, which we no longer use.
Got rid of :val triples. Next step: replace triples by pairs.
Constraint maps are now also sequences of constraint pairs.
No longer using the word 'triple' to indicate a constraint.
Code cleanup.
Code cleanup.