Implicit Function Arguments

[Philip Weaver]

> I am under the impression they are deprecated and slated for removal.
>
This is the second time I have seen someone comment on implicit
parameters being planned for removal, so now you have my attention :).
 I'd like to mention that a rather large project where I work (Galois,
Inc.) uses implicit parameters a lot, so removing support for them
would make me rather unhappy.

- Phil