Miscellaneous additions.
- Implicitly promote functions and tuple 2s to steps
- Beginning work on lifts