introduce a protocol for compilation wrappers

[froystig]

Fixes #9808, as far as type annotations are concerned.

cc #7733

[YouJiacheng]

Hi!
I think maybe there is something wrong with Protocol for jit.
Protocol method allows type variance, i.e. covariant return type & contravariant arguments type(unfortunately Callable allows these too.)
But compilation wrappers should be invariant, i.e. only allow exact match.