Updated README.
A whole mess of stuff defined.
Whole bunch more.

Mostly types this time.
Export Indexed functions.
Iso and some more Prism stuff.
Added example of extending a record.
Use EasyFFI to make it less gross looking.