More progress on rewrite

Add opcodes list
Add more formats
Add "relaxed" formats