First working version.
Add more verbose debug output.
Factored out (group, major index, minor index) concept.

To git rid of code duplication, factor the group out of the dimension-specific
routines and use the same steps for each.

Added some better output: Notes when it finds a closure that further constrains
the solution.
Merge branch 'master' of https://github.com/hildeth/free