coded counting pass (untested)
midstate: trellis implemented, untested
added y counting, but P(ABA) is no longer properly going up
fixing pointers, not done yet
progress - midstep
FixedP(ABA) computation to condition tags on previous; properly rises now
minor merge with fixed master