move some things from printingTheory to bytecodeExtraTheory