tuples
records
lambda types
circular reference finder
low-level debugger with graph step-through
value_or_graph and atom should be merged
dagc source maps
cascading polymorphic functions for typeclasses
interface files
real parser for URIs instead of hacky shit
untangle gen.c