Add identity transformer implementation
Polish identity monad module
Fix monads runner