I might have histories done, but I'm not sure the logic is sound.
more correct algorithm for history checking, with accompanying tests
new way of doing forwards_star
Merge branch 'master' of github.com:/frenetic-lang/frenetic
restructuring around new forwards_star_history, forwards_star is just special case of forwards_star_history