Moved f->c to constraint lang. Accepts a list of constraints.
Rewrote math tests

- added a function for setting connectors in every permutation
- moved unset? and is-set? into their own module
- added a script for running all tests
Fixed quotient tests.

- Reduced test argument range.
- Added tests for Even
Added tests/implementation for World
World consistency tests
Removed print statements from test-inits