Documentation

Documentation
- Propagate explanations from doc.txt to comments in implementation files
Interface
- Improve contracts
  - consider storing content-type contracts for polymorphism checking
- New operations
  - insert*, remove* operations
  - insert with "combine" operation
  - table/set crossover functions
    - domain and range of tables (as sets)
    - table difference/intersection with a set
  - reverse-ordered "loop" functions
  - Check Haskell, OCaml, SML, previous Galore, Edison for other operations
Testing
- Double-check code coverage
- Look into automatic tests from previous Galore implementation