disambiguating tribool

xx < inderminate_, indeterminate_ > is ambiguously reached by xx < A_, indeterminate_ > 
and xx < inderminate_, B >