> re: tybits and ey. Currently the code is declare and initialize ey, declare and initialize tybits, change ey, use both. Swapping the middle two would add clarity that tybits and ey aren't interdependent.

I put the declare and initialize ey where it is to emphasize its similarity to ex.

 > I suggest rewriting that couple lines to:

Ok.