Yes, I agree the size types should be fixed. But I actually see some merit in limiting sizes to half the maximum address space: It's more likely to catch bugs that otherwise could cause the whole system to grind to a halt, and it avoids bignum overhead in the memory size domain.