Slight simplification of the prototype, plus some experiments with bytecode inspection in the notebook.