Fix tag inference for bytecode interpreter
Adjust tag inference for bytecode operational semantics.
In bytecode every rhs is a thunk so no binding starts out properly tagged.
This needs more work but I want to see what CI says first.
This will eventually fix #22840 (closed)