Fix (real! :-) memory leaks in half_cmp and half_binop.

Perhaps found by NealN and valgrind.  Will forward port.