Added higher-order function support to Leon

Any ideas for more tests?