Updated main module with monad transformers.
Removed useless comments.
Ended refactoring, part 1.