Condensed conditional branch instructions into Iftrue+Iffalse, added more arithmetic opcodes, added typed Const and Load opcodes