The matcher should be able to find Ops that do not exactly match the inputs/outputs, but where requested input/output argument types can be converted to/from the op candidate's actual parameter types via Converter plugins.