Start on intLang3

This will completely get rid of definitions, leaving programs as lists
of expressions.