Update the pretty printing for demand and alias
Add a (silly) swap example with quantifiers and exponentials