Cleanup RwM monad
Cleanup FoldPass infrastructure

Next up: clean up of each individual pass