Finish infrastructure for restricted fileio monads
Some fixes and add some more RW interpreters