Zaslat SMS: de Bruijn Notation as a Nested Datatype