SI-7788 Small refactors in typedImplicits

  - route checks for Predef.conforms through one method
  - handle all the failure cases of `NameLookup` at once
  - Use string interpolation
SI-7788 More refactoring in typedImplicit

Outsource generation of the Ident or Select tree to,
well, TreeGen.