added the SE version of the cut rule to the Sequent.json file
added the SE version of the cut rule to the Sequent.json file

goodlyrottenapple/calculus-toolbox,goodlyrottenapple/calculus-toolbox,goodlyrottenapple/calculus-toolbox