changed printing of arith variables
update .merlin file
new module, Sourced, for remembering where formulas/terms come from;
removed corresponding ugly tuples in FOTerm, HOTerm and Formula