* Add the rest of the edge incidence tests. Make sure it works across
  cubes, too.

* Update the test suite to use the test-framework package.

* Add the section (2.9) tests.

* Figure out why TC.prop_c0120_identity4 and friends are failing.

* Figure out why the section (2.5) c_ijk1 identity is failing.

* Use distribution combinators[1] to get rid of the orphan instance
  warnings.


[1] http://stackoverflow.com/questions/4001861/how-small-should-i-make-make-modules-in-haskell