Fixes to differentiate Symbol productions and Sort productions