fun.op as alias to fun.operator

Hi,

I am hereby suggesting fun.op as an alias to fun.operator.
Since `op`is a common short for operator, I think it remains still explicit enough, and it makes less typing.

Regards,
Roland.