add ArgumentTypeSpecification