Ambidexter/logic tutorial

This is the beginning of a tutorial in programming based on classical logic.

1. and types, function types, True
2. function expressions and builtins
3. coterms
4. or types
5. and/or types
6. actions
7. not
8. call by name
9. quantifiers for generics
10. quantifiers for abstraction
11. higher order types