check the kind of unknown variables when constructing bounds.
Typecheck tuple intro expressions.  Added syntax, parsing, typechecking
for tuple elimination, too.
added (definite, known) sized kinds. tuple types have kind that is a
union of their constituent kinds.