use DevFiles in oasis;
updated Precedence, Orderings, PartialOrder, Multiset and BV in logtk;
FOTerm.Classic provides a second view to terms