Make case-expressions pretty-print for llist and ltree types
Fix Unicode violation in 12f41f346
Fix typos and separate equivalence thms
Add a theory about lazy (rose) trees to src/coalgebras