redoing the table/stack Layouts to just take the language parameters; also fixed bug where we were mistakenly indexing by nonterminals and not reduce rules

start working on downstream transaction flow control (the case where we present data but downstream isn't ready yet)

test using the internal nMigen "Part" function from nmigen.hdl.ast to see if we can do variable-width slicing but no alas it fails

try working on combining shift register, we morally are on the right track but need to finetune the indexing and make sure the boundary cases don't break stuff)

seems to work, i think we should write the shift register so we can do the proof against the golden model (which uses a nonsynthesizable RAM)