Added "case-seq" rewrite, and the "length" example, which uses it.