updated readme. Tone might be a tad off, but we'll see
more iterating on things relating to Nat api
my likely never to be used ReallyStrict State monad