Split normalize into desugar and primitivize