Proposal To Revise Implicit Parameters

[Odomontois]

@odersky

I believe that principle forces us to split instance and parameter syntax, otherwise things would get very confusing.

But can we at least call related term accordingly?
So for inferred paremeters we can use infer keyword and rename context queries to inferring functions or inferring expressions or something like that.