framework abstractions are solidified.  gc is done.  stateT and listSetT transformers are written, although proofs for listSetT being a monad still needed. next up is running the damn thing on some good examples, and more proofs that things are correct within their isolated abstractions.