Lambda-term bound variables