add some builtins (<=, >=, xor and if)