Introduction to Lamda-trees