case tabs of type subst in term