Separating type unifier from types utility class
Beginning work to add protocols to core language
Adding Haskell-style quoted operators: `keywords` and (+)
Adding runtime type reflection to support protocols
Supporting literal list syntax with basic linked list type
Supporting auto-escape of newlines after operators (non-alpha identifiers, technically)
Supporting basic runtime type reflection
Supporting same API for both runtime type reflection and compile-time analysis
Formalizing linked list type
Beginning work on maps to support protocols
Adding atom type and basic functions