implementing more secd opcodes via define-state-transition