Adding IO
- Adding identity combinator for the tests
- Adding IO tests