Completed State Monad!!

- iff
- map redux
- flatten redux
- cleanup static API
- complete test coverage