abs case of type subst in term