Generalize to type-changing strategies

The `(Strategy a, dot)` semigroup generalizes very naturally to
a `(Strategy, dot)` semigroupoid. This makes it much easier to
fuse maps with strategies.

Author: treeowl