Adding support to quotienting operator

Now composed operator actions respect the semantic defiined in the
algebra