Desugar imports into module names only
Better metadata for constructors
CoreFn traversals
CoreFn DCE