fixing a few typos found while reviewing notes
Forgot to actually switch succ and rec in definition of NNO, also changed eta rule to use the same formatting as other rules
Forgot to actually switch succ and rec in definition of NNO, also changed eta rule to use the same formatting as other rules