Arguments for Value types

Thanks, in reading the docs I had missed the part about the “isbits” constraint