- Took the Node record-type to another namespace.
- Added (basic) type-tag recognition to the lexer.
- Added (basic) binding recognition to the parser.
- Added a (basic) type system.
- Added the pattern-matching mechanism.
- The nihil.lang namespace  is now a "higher-order" namespace that orchestrates work below it.