Awesome! This has potential. Strongly typed ADT support would be nice, and it needs partial download/module boundaries to scale realistically. Imagine putting

Awesome! This has potential. Strongly typed ADT support would be nice, and it needs partial download/module boundaries to scale realistically. Imagine putting code AST in this DB, using reference-values for variable bindings and function bindings (rather than string-based resolution). Then editing the AST in a structural editor with nice code views. The Light Table people seem to be trying to do this now with Aurora. I want to do it too, but damn is it hard.