lecture notes on desugaring