Improve `should-evaluate-to-restriction`.

However, the test still fails because restricted names are only `egal` if they are `eq`.
Rename `list` to `tup` and add a new `list`.

Also fix tons of formatting and outdated syntax.
Fix a copy/paste mistake.
Add a new capabilities test.
Fix lambda calculus.
Add a new version of `concatenate`.
Reformatting.
Add `tup` as a built-in, and `cont` and `define` as keywords.
Fix up run-tests, which includes enabling the lambda tests.