APIs and libraries should tell us much more about their semantics so that we can assert compatibility directly rather than relying on a number