test17 as copy of test16
test17, an attempt to solve subst in sub... wip on sub-tp-trans.