add unbounded valueof, change naming to denote. Needs further work
make wraps types, simplify things
update build, make tests pass
Fixed a couples of things
Fixed the tuple warnings
review code, minor improvements, clean stale stuff
add scalaz equals for denotation
Merge branch 'feature/unbounded/valueof'