Optimize `Alternative` (part 4): add `prependK`/`appendK` specializations for Cats monad transformers#4299

Open

satorg wants to merge 7 commits intotypelevel:mainfrom satorg:ne-alternative-specializations-montrans

+329-38