Function types are now represented using interface types
Added test for generation of function composition