Remove silly 'Void' type.
Add 'choice-else' and 'option-else' for matching.
Make 'showVector' a bit prettier.
Add basic Emacs highlighting.

For #57
Add basic Vim highlighting.

For #57
Merge https://github.com/evincarofautumn/kitten
Reinstate REPL.
Infer the types of activations.
Improve 'Show' instance for 'Resolved'.
Add help and multiline input to REPL.
adding TextMate / SublimeText syntax highlights

For #57
Don't require annotations on definitions.
Allow arbitrary terms as definition bodies.
Always show stack before prompt.
Show stack on multiple lines.
Handle strings with mismatched brackets.

A string like ":(" was interpreted as containing an opening
parenthesis token, so the REPL would erroneously go into
multi-line input mode.
Preserve newlines in multi-line input.
Merge https://github.com/evincarofautumn/kitten
Add comments file for Sublime / Textmate shortcuts