Basic.Sym introduced for a simple representation of symbols,
used by the parser and AST
Symbol.t is now typed (symbols are equal if same name and same type)
added module DBEnv (substitutions for De Bruijn)
Type.Forall constructor, now with De Bruijn indices, and efficient
Type.apply function to provide type arguments
FOTerm.Node has a list of type arguments before its
term arguments