Integers

[mikeshulman]

We have a separate type of integers to make things easier for our summer 2022 exercises.

• encode-decode, decidable equality, sethood
• ap and refl on the constructors
• ap-intcase
• refl-intcase
• tr
• lift
• utr and ulift