Compiler [Typechecker]: Fix handling of T_ZERO in low_type_binop(). Eg zero - int(1bit) now returns Ø (empty set) as intended (and not zero).