Lots of work on OpDef codegenning