change time to be only in the postcondition, and thus to be a delta
of how long it takes to get from the pre state to the post state

also, specify that get and set take 0 steps
a new type for the state monad
fixed up some missed tmonad -> monad renamings
queue example in new monad, but commented out