Decide on final replacement for `implicitly`.

[odersky]

We currently use the as a replacement of implicitly. This works well if there is an explicit type argument, i.e.

the[Ordering[String]]

but it looks positively strange when the argument is omitted, i.e

val ord: Ordering[String] = the

One alternative would be to use theGiven instead. I.e.

theGiven[Ordering[String]]

val ord: Ordering[String] = theGiven

theGiven is a bit longer but works adequately in both scenarios.

This change is elaborated in #7150 (docs only, no implementation).

[smarter]

the is also hard to search for (in fact, I tried to search for previous discussions on using the name the and couldn't find them). I think summon could work. A wilder alternative would be to just use brackets: [Ordering[String]] instead of the[Ordering[String]], and simply [] instead of the. This might be too confusing, but google deals with symbols pretty well these days: https://www.google.com/search?client=firefox-b-1-d&q=c+%5B%5D

[milessabin]

Could we make plain given work here too?

given[Ordering[String]]

val ord: Ordering[String] = given

[neko-kai]

infer could work for all of these, but especially instead of implicitly

[odersky]

Using just given would work, but would make it syntax where none is needed. I am OK with summon, too.

[smarter]

given would be a bit awkward, e.g.: foo(given given[Int])

[milessabin]

@smarter that's your punishment for not just writing foo ;-)

[SethTisue]

2 cents: I love summon. it is vivid, it has a touch of charm without being cute, and it is searchable. but theGiven isn't bad

[odersky]

I changed the docs in #7150 to use summon. I also think it has a nice sparkle. Not as dry as theGiven.

[Jasper-M]

I can't believe accio hasn't been suggested yet. Or is that trademarked? I think it would be great for adoption.

[odersky]

We settled on summon, in the end.