make \&/ covariant
remove ToChoiceOps#ToComposeVFromKleisliLike and ToSplitOps#ToComposeVFromKleisliLike

see 244bdbc and dd33f59e4
add FromKleisliLike inference test