Updated Proposal: Revisiting Implicits

[julienrf]

@odersky

I’d read

given ord as Ord[T] { ... }

“given ord as the Ord[T] instance where …”

This scheme doesn’t work well with alias instances:

given ord as Ord[T] = otherOrd