currently, a typesVersion entry of "<=4.8" will be satisfied by 4.9.0-beta.

That's because our semver code treats "4.8" as the range ">=4.8.0 and <4.9.0". It should actually be ">=4.8.0 and <4.8.Infinity". It should not include 4.9.0-xxx.