Add README
Add other state transformers to SameState

Otherwise they can't be used...
Switch to a Is<Foo>/Same<Foo>/Has<Foo> naming scheme
Remove useless _liftT definition and usage
Add Reader module