More work on lambda promotion - squash this

- always insert Apply in promoted expressions
- if variable is not in scope promote it to type level symbol