.. internal

Wrap "simple" bytecode implementations like BINARY_ADD with code that collects
information about which types these bytecodes receive as arguments.
