Major Type location refactoring and new StateT Monad transformer