Restructured Main module, now using big monad stack. Should be
beneficial in the long run, I definitely have been overthinking this
issue.
Cleaned up Main module.