Initial addition of the Ersatz.BitN module
Remove redundant definitions from test
Document half_adder and full_adder
Tests are great, and we should have them, but this file doesn't have any (yet)
unify the forall and exists methods into the literally method.
Add Equatable instances for Map and IntMap
Add V1 instances for GBoolean and GEquatable
Add Num instance for BitN
Add updated version of Thorsten Kiefer's factorization example.

Fixes #5
Add fish logic puzzle example
Drop packunused/packdeps
Drop blaze dependencies in favor of bytestring
Less trust; more safety
Try building with current GHC
Add Orderable class
Orderable instances for Bit1-8