Hacks for promoting higher order functions

- type promotion works for simple cases
- body promotion is a work in progress
Even more hacks to promote applications