Fixes `compose` due to renaming args
Pass `f` as the context for `call`.
Remove flip for now.

The implementation of flip is far more complex than what we
have, to respect the laws of compositionality.
Fixes doc-comment
Includes tests for higher-order module