FOTerm.Node has a list of type arguments before its
term arguments
HOTerm with type arguments and better De Bruijn handling
updated FOFormula with better De Bruijn handling;
expose some DB internals in FOTerm and HOTerms, but with warnings