A theory of encoding/decoding bytecode ASTs

Also for printing bytecode ASTs