syntax change, corrections

encodings/bool_hol.lp

encodings/bool_pvs.lp

encodings/builtins.lp

encodings/deptype.lp

encodings/equality.lp

encodings/lhol.lp

encodings/pairs.lp

encodings/prenex.lp

encodings/pvs_cert.lp

encodings/pvs_cert_minus.lp

encodings/pvs_core.lp

encodings/subtype_poly.lp

encodings/tuple.lp

encodings/unif_rules.lp

paper/rat.lp

paper/rat_poly.lp

prelude/functions.lp

prelude/logic.lp

prelude/numbers.lp

sandbox/boolops.lp