Implement implicitSupertypeOf etc. in AUXify-Shapeless

[DmytroMitin]

https://stackoverflow.com/questions/62747743/in-scala-2-13-how-to-use-implicitlypath-dependent-type

Implement implicitSupertypeOf, implicitSubtypeOf (implicitly), implicitExactTypeOf, implicitStrictSupertypeOf, implicitStrictSubtypeOf.

https://stackoverflow.com/questions/59348301/in-scala-2-or-3-is-it-possible-to-debug-implicit-resolution-process-in-runtime

? Implement existImplicit, localImplicit/nonLocalImplicit, allImplicits, secondImplicit.

[DmytroMitin]

Implement summonImplicitView, type class ImplicitView.

https://stackoverflow.com/questions/62630439/in-scala-are-there-any-condition-where-implicit-view-wont-be-able-to-propagate/

[DmytroMitin]

AUXify-Implicits?