Bug #146: Forcing applications via MiniboxedFunctionX

Use the "-P:minibox:Yrewire-functionX-applications" for now, as this is
not yet a very stable transformation.

Ping @biboudis: This is exactly what you need to get those nice numbers
we obtained when I desugared functions by hand. Pull request will follow
soon(ish).