Less temporary variables in desugaring

Please do.