Initial desugaring