Include the executable Reduceron semantics from the "Reduceron Reconfigured" paper