Refactor anext #26
Description
We've been putting off obvious improvements to anext for too long.
OTTOMH, the accumulator is almost always (S0, Some (Zy :* S0)) which is a pain to remember.
We also almost never care about the node, the accumulator, or the types of the wires returned