Remove or explain the word "term"

[ebruchez]

In the list of features, there is the following:

The core idea is term inference: Given a type, the compiler synthesizes a “canonical” term that has that type. In Scala, an implicit parameter directly leads to an inferred argument term that could also be written down explicitly.

I have been using Scala for more than 10 years, but I am not a compiler writer, and I have never needed to use the word "term". I suggest that this is at best unhelpful to mention that word, and at worst a turn-off for the reader. But if it has to be mentioned, then it need to be explained in words that not only compiler writers can understand.