add bool and match uniprop opcodes