desugaring + wip reduce/constant-folding