TODO

The bootstrapping sequence:

• an Ion parser and test suite:
  • strings, numbers, symbols
  • tuples
  • pairs and maps
  • dot and paths
  • functions and scopes
• a simple total language for querying/transformation of ion datastructures
  • list access
  • map transformations
• a minikanren-style unification engine?
• UTLC
• linear lambda
• arrays, references, memory management
• static projections, i.e. comptime?