Enforce specific implicit

[MatthewHambley]

The MissingImplicit rule checks for the absence of an implicit statement and is mollified by finding one. It might be desirable to provide an option to require a specific implication. I would expect this to normally be none but there's no need to rule out the other options.