Remove old code.
Move new->src
Pretify and document things
Checkpoint.
Remove old tests (XXX: port these, eventually)
Remove debugging stuff and move Fromula to top-level Presburger.
Move example