Review natural transformations

[eparejatobes]

• [x] can we improve types somehow?
• [x] after recent improvements, can we implement both compositions? Yes!
• [x] fix names, add proper aliases
• [ ] ...

[eparejatobes]

Done. There will be some type adjustments once I integrate this into #52.