Big update with records parameterized by functors and record application
Removed old README
README typos
Documentation
Add -XSafe to applicable modules
Update and rename README.lhs to README.markdown

Just added a link to the write-up on my website to avoid the documentation falling out of sync.