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
- promote constructors to type level symbols - this does not work
- comment out some code that does not compile