Toward dependent types

The Haskell phase has been about reworking Serene's foundations around type theory. The highlights: a new REPL and a rewrite of the semantic analysis, a growing body of dependent-type research, and the first piece of Serene's universe hierarchy — the Universe type.

This is the groundwork for moving Serene to a dependently typed core, and it sets the direction for everything that follows.