Switched expressions to locally nameless representation.