Port back the stack with helping example
The old stack with helping is here: https://gitlab.mpi-sws.org/dfrumin/logrel-conc/blob/master/theories/examples/stack/helping.v
The old stack with helping is here: https://gitlab.mpi-sws.org/dfrumin/logrel-conc/blob/master/theories/examples/stack/helping.v