Conditional Typeable updates. Added conditional typeclass constraints.

Fixes #25 - These edits are naive but enable compilation on ghc7.7.2013.11.06.