Also, instead of looping down the stack, I plan to peel-off
a "type digest" of the top 8 type bytes (padded with invalid),
so I can match a pattern with 2 32bit operations, virtually
eliminating one of the loops (still need to loop through
the patterns, tho).
Ps. I need more than a mask for the matches above.
Where there are more than one bit in the pattern,
I'll need to mask AND check for equality.
So the "number" test is not t&6 but (t&6)==6.