[Misc] Renamed action on morphisms for Sigma and Pi.
[Misc] Intensional currying + clean-up