Draft of instruction set architecture appendix

whaddayathink
Make the rest of the operators verbatim as well, so that they match the ones under