comment explaining the backport of `function1CovariantByName`
make `typelevel` compatible with 2.11
bump scalacheck version

Cherry-picking a5a4efb