Slimming languages by reducing sugar: a case for semantics-altering transformations