PLAI Lazy

The plai-lazy language is like lazy augmented with lazy versions of the define-type and type-case forms of plai; contracts specified in define-type are not checked, however, because checking forces evaluation (possibly unnecessarily). Variants of test, test/exn, and test/pred forms are also provided, and they force evaluation of the test and expected-result expressions.