wobble 'isPolyFunCoreTy'
inlineClosed now determines closedness by the type of the applied global
variable

Before, we looked at the body belonging to the global variable,
which is not really needed.
Always inline very small functions
Don't error when 'inlineHO' can't be applied due to inlining limit

NonRepSpec will remove remaining HO arguments
adapt test to new prelude