add symbols for "does not unify" and if-then-else