in Formula, mk_atom can return True or False;
bugfix in Term when comparing arith symbols