Update external/ to point to forks which will hopefully be integrated upstream

Add DAMSL K3 as an external repository

Explain how to build the tree; revise .cabal

Begin tracking trifecta as a git submodule

First pass at K3 Stdlib from experiments

Minor documentation cleanup in ParserHS

Scattered progress on K3 backend

Improvements to HList utility library

Add bracketState

A whole host of changes

Inspired by several days of hacking on the CKY example and thinking about
how we're going to actually produce those ASTs.
> Factors out HLists and pushes their utility through BackendK3.
> Adds export annotations to BackendK3.AST and .Render
> More documentation across the board

BackendK3: Eliminate Slices as distinct objects from Patterns

BackendK3: Minor tweaks, more math

Remove PTup and STup verbosity from BackendK3

Fix K3 backend selftest to deal with formatting

K3: CTE, Ref now data families; new Annotation framework; misc small fixes

Fix haddock build, improve documentation, small misc

Fix cabal build, shuffle backend goo, more tests

Make Dyna parser understand type annotations

Eliminate explicit tuple size from pattern and slice constructors

Move REPL to Haskeline from editline

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