Fixed Checked to work with the new generic interface, which largely was a matter of removing old code and fixing types. Some aspects got slightly more elegant, which is good. Checked is still monomorphic, specialized to Z2. This is the next thing to fix.