Snapshot (non-working) of constrained completion
snapshot
snapshot
Snapshot again
initial import
twiddle
Remove 'fresh'
Store bounds specially for performance boost
Eagerly remove redundant terms.
Use a strict map (why not?)
Some tweaks to the heuristics.
Note about circularity not really relevant.
Code cleanup
simplify
Remove dead code
Run benchmark more
code cleanup
code cleanup
stuff
Make it even faster!