Added reactive-staging.txt, a sketch of a sequent system for arrowized multi-stage programming.