with De Bruijn notion, a more combinatory approach, to eliminate variable naming problems