Add Positive and NonNegative
Replace unc with an additional field
testFunction: refactor and add folding
Get rid of Over type
Make quantifiers atomic