DB -> v3 for symbol->code assoc vs. ->codelet (fixes #13)
Flesh out most of Database.insert().