Add ability to specialize on arguments

[vrindisbacher]

For example, if an int must be between 1-10, we should be able to generate that rather than rely on hypotheses.