thought for half a second about how the symbol table could enforce use-sites, but didn't have any ideas