tweak quantified variables in app cases of decLang.lem

remove unused variables, and put in a more sensible order
similar tweak for exhLang.lem