Added lambda terms with names, parser and pretty printer.