Apply compulsory unfoldings during desugaring, except for `seq` which is…

Authored by cactus.