add four new opcodes for unicode properties

Well, actually, add two new opcodes and two old opcodes that weren't exposed.