Add nic graphics explaining lambda term listing