However, the underlying concrete type can change from one version to the next without breaking ABI, because that type is not known to clients of the API.

真の型を変えても ABI が変わらないってことはー、コンパイル時に解決するというのと矛盾しているような。熟読しないとわからないでござる。