ErrorT Spec changed to use runStateT

I changed the spec from execStateT to runStateT.  In my opinion, it is much clearer now what the different nestings's effect is.