add Y combinator, also add a way of printing in normal LC notation