Desugaring pass (#9)