Usual first-order lambda terms representation