We can loosen up this check to allow a VARBINARY at the end of a PK. We'll need this for secondary indexing. You'll just need to add a check that when adding a column (in ALTER TABLE), the last column in not a VARBINARY.