argument

Creates an argument constrained spec.