Trial balloon for fixes to given syntax

[odersky]

Change contextual docs to reflect three changes to given syntax:

• put given inside the parentheses of parameters and arguments, as was suggested by @smarter.
• change given import syntax to make given an import selector
• change the to theGiven.

All of these will discussed in separate issues.

[milessabin]

It'd be nice if we could address #7078 as well.

[jducoeur]

I don't think I have an opinion about the first two, but I quite like theGiven -- much more Google-able, and very clear what it is talking about...

[odersky]

@milessabin For #7078 , depending on how the other decisions go, we might just carve out some specialized syntax. E.g. something like:

inline given mkAnnotations[A, T] as <: Annotations[A, T] =
  ${ AnnotationMacros.mkAnnotations[A, T] }

[godenji]

Bikeshedding, but can't we do better than theGiven?

def apply[T](given Monoid[T]) = infer[Monoid[T]]

or implied, instance, extract, there must be a keyword that fits the use case without being so cumbersome.

[jducoeur]

Is it cumbersome? It's not any longer than instance, and it nicely parallels given, so IMO it's relatively easy to teach and remember. It even makes sense grammatically. (Granted, there's that capital in the middle, but that's not exactly unusual in Scala.)

[SethTisue]

the ticket for discussing theGiven is #7152

[odersky]

Merged as part of #7201