Solve analysis performance bottleneck by avoding calling all-keys-Declared
Solve analysis performance bottleneck by avoding calling all-keys-Declared

It turns out that calling <all-keys-> on a dynamic rule with a lot of entries is extremely slow. This commit works around the issue by maintaing a separate dynamic rule - AllDeclarations - which keeps a table of namespace and declarations recorded in that namespace.

metaborg/dynsem,metaborg/dynsem