Stub out the hypoth module
Generate hypotheses that don't depend on results

Also, rename modules for fun and profit.
Remove repeated function
Clean up a bunch of derps
Clean up the hypoth module to only depend on synth

* arith and bool are only imported from synth now
* cleans up synth a little to also include a synth-one function, synth
  now works on several function bodies
* fixes a bug in the bookkeeping of the seen array

...this commit is a little dirty :(
Return a negated expression as a solution

In case a hypothesis fails every test, return its negation as the
solution.

Also, refactor solution? to not calculate the ratios and operate on
them. There now exists ratios, which calculates them, and both solution?
and anti-solution?, which test whether a hypothesis passes or fails all,
respectively.
Small clean ups for consistency
Minimal readme