Lifting Reduction Semantics through Syntactic Sugar