Validate value arity for packed types.