Remove Where; implement expose for Let binders instead
Tests for functions in Sharing
Temporary hacks to make the simplifier example work