Expedient fix for using_induction_hyp breakage
A little bit of progress on STLC normalization