Always specialize non-recursive functions with regard to their function arguments

[phischu]

We want to experiment with an inlining rule that always inlines every non-recursive higher-order function and runs after static argument transformation. This gives us specialization of functions to their function arguments.

[jiribenes]

I'd already be interested in an explicit inline ala Scala :)