minor changes
progress in refactoring FOTerm
new interface for HOTerm