Fixed #1: missing overloads of opcode unify().

Trivial fix for issue #1.