introduce compile-time tribool values, and use them for is_definitely_vector
some problems with tribool
add tests for is_definitely_vector, fix implementation
Merge branch 'tribool'