Delete cascade examples.
Add typechecking when Cascade is created.
Update Kevin's chunks cascade to use new syntax.