Preliminary decision on which data types should be exported

* This included some refactoring hat remvoed the happstack dependency
* Documentation on most exported functionality (closes #13)
* The dyre _interface_ should now  be settled roughly (closes #12)