Swap ExceptT and WriterT to make sure warnings are always propagated

Moving the ExceptT to the outermost (or innermost, depending on the
viewpoint) layer of the transformer stack, the result type changes from

            errors        warnings
               v             v
    Either [Message] (a, [Message])

to

             errors       warnings
                v            v
    (Either [Message] a, [Message])