Correct state usage in StepS. Remove hoist shenanigans (#285)
Correct state usage in StepS. Remove hoist shenanigans (#285)

It's better to interact with the state in the StepS transformer using
a MonadState MTL-like typeclass. It reduces a fair amount of noise and
makes the inference much simpler.
cirg-up/cilib