small fixed in FOTerm
added substitutions (one type only now!)