nial-mode: cleaned up keywords
nial: dict functions from the nial cgi-lib
nial-mode: added a face for :=
fol.ndf: replaced utf-8 with "forall, "exists