removed spurious "private"
DinaturalTransformation.op
End: eta-rule and the projection is monic