Add desugaring of Info, and support for bug 8884.
Add newUniqueName