fun.op as alias to fun.operator
Review fixes for fun.op = fun.operator
Update declaration of recursive functions as suggested by Mike Pall

filter and chain are still non-optimal