changed the encoding of the structural rules to be applicable to structures instead of just single formulas
changed the encoding of the structural rules to be applicable to structures instead of just single formulas

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