* FunctionInvocation now considers abstract parameters
* Applications on lambdas are now handled
* Pattern matching now considers abstract parameters