Yeah, naively looking at `allSymbols` above, it seems there would ba a way to extend it to carry (also) dynamic Symbols, which would be categorized aferwards. Any thoughts, @sschaef  ?