Text this: Introduction to [lambda]-trees