Commit some incremental progress on the K3 AST

This snapshots some crude attempts at getting generic tuples
into the K3 AST.  At the moment it isn't working (for somewhat
annoying reasons involving universal quantification, I think)
and the AST is wired up to have tuples 2-4 (though more are
a simple matter of copy-paste-modify in a few places); some bits
are automated, but many aren't.

Snapshotting before I try to replace pairs with tuples

Add LICENSE.INFO for dependencies

Some initial progress towards a K3 backend: AST, renderer, and examples

REPL and parser improvements

Initial REPL

Add more to README

An initial checkin of a parser and some ANF stuff