noting overly restrictive type family
using cabal to build, now that I've shattered into many files
forgot flag to make Examples build
rather than replicate code, move the doc into a README for prettification
updating readme