Transform: change API of `filter_compose`

The function now uses lowercase polymorphic variants (like the rest of
the code).
The documentation and the figure have been updated too.