WyIL: some refactoring of the bytecode API.