Major refactoring of types
Introduce Application StateT monad + dropbox & reddit client tools