Kill old development proofs
Copy SystemF2Effect into SystemF2Cap
Add Susp type constructor