transitions working, but no widening :(
grouping of states/konts
(wip)
RPDS construction, HashSet
WIP
WIP
WIP
some tests green; no fib, no churchNums
all green (except churchNums)
cleanup: leaving only jipda
further cleanup
readme