Adding identity and combinators
- Trying to work out how you can create a pure monad (`of`), so that we can use it for Transformers
- Adding some of the combinators that is in use
- Changing `of` in Option