For example I noticed that `TermSymbol` has a property called `referenced`. Can you point me in some direction of what symbols we need when?