Type cases for subtracting 1 from Int>1 producing PosInt#883

AlexKnauth wants to merge 4 commits intoracket:masterracket/typed-racket:masterfrom

AlexKnauth:sub1-int-gt-1AlexKnauth/typed-racket:sub1-int-gt-1Copy head branch name to clipboard