Don't ghc -prof on the Kitten executable

Cabal emits a warning:

> Warning: 'ghc-options: -prof' is not necessary and will
> lead to problems when used on a library. Use the configure
> flag --enable-library-profiling and/or
> --enable-executable-profiling.
Run all tests, even upon test failure
Better location information for definition bodies

Locations of the body are now on the '{' or ':' of a
definition, instead of on the 'def' of a definition.
WIP Use typed AST where possible

The interpreter and yarn components now use the typed AST.

Auxiliary changes:

* String literals now have their own AST constructor
  (replacing Vector).  Strings are still typechecked as
  `[Char]`.

* Forgot.