check type mismatch in expression
general tidy of opcodes, fix disassembler
add comparison and boolean logicals