Add opcode documentation (except OUT_EXISTS and OUT_SPENT).
Add into to the formal specification section.
Remove unnecessary indent.