Checkpoint
Refactoring

* Branches is now Branches-Rect; treating it like an actual set makes
  it more likely code that deals with it is correct

* Somehow, the refactoring sped up "language-tests.rkt" significantly