Added pretty-printing of lambda terms