Inject implicit bindings before the simplifier (Trac #2070)