Lifting Reduction Semantics through Syntactic Sugar - View it on GitHub