A PLT Redex model for TreatJS Contracts.