Working implementation using monads
Bring cfa2-analyses in line with semantics/flow.rkt
Abstract over graph creation mechanisms
Add a lexicographic lattice
Add generics and better location support to lattices
Various fixes to pda-to-pda-risc including making terms a lattice
Add tri-parition-set to racket-utils