Don't use "Set Implicit Arguments" in the core.
Merge pull request #469 from mikeshulman/implicit

Don't use "Set Implicit Arguments" in the core.