Better isomorphic searches

[KacperFKorban]

ATM Inkuire allows searching for String=> F[String]. This signature in particular takes a higher kinded type F and allows for searching for isomorphic types in its place. In this case, F is (almost) always a supertype of List or Seq, so the result should be ok.
But when it comes to signatures like F[A] => (A => B) => F[B] they should work as well, even though List is not a supertype of F. In some cases, those searches work, but they should be tested more and tweaked if necessary.