Updated Proposal: Revisiting Implicits

[AMatveev]

@odersky

Typeclasses: You need imports only for orphan instances, which should be avoided anyway if possible.

@eyalroth

This actually seem to work,

Nevertheless I will follow martin’s advice, and will avoid such templates if it is possible.