work on proving the term instantiation rule correct

most of the way done. need to do probably the same proof as for the
conclusion except backwards to get the last goal about the hypotheses.