Language version 14.11 and app version 3.1

Add other opcodes in the 14.11 spec.