re: latter, i mean that i might want slightly different node types. not sure how customizable it should be. like does each project define its own meta theory. i'm thinking stuff like constraints, rules, design notes, idk. dependencies between invariants. but also layers of abstraction.