removed useless symbols
updated FOTerm with new variant TyApp, simplifed App
adapted Type, TypeInference, Formula and HOTerm to the new variants;
added similar Record variant to PrologTerm