SymbolRegistry added (not humbly, probably the best Python I've ever
written)