Add function decorators
Add fixed-point combinator to make recursion slightly less ugly
Use fixed-point combinator in the binary-trees benchmark