move induction stuff from fol/syn/free-vars-sentences.tex to its own section in sfr/ind
remove moved section on induction from fol/syn/fvs