Positive, Negative, etc. only require response to #>(0), #<(0), etc.
Clean up.
Void type matches nothing.