Allow Fun composition with normal functions
Add a decorator to lift functions to Fun types
Allow curry to take a variable number of arguments on each application