Added more `Proxy` transformers
Finished implementing `ReaderP`

[none][none]