Minimal working set of definitions for Little Lambda language