amd64, ia32: Encode the length of the constraint list in the type instead of relying on matching magic numbers.