Moving things around, adding documentation, changing StateT to RWST