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.