Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation (Reversible Computation: Extending Horizons of Computing, 2020)