Add a mechanism to allow callgraph generator to find vtbl-like constructions
If we had an explicit, unified way of having our code make C++-like vtbls, we could have our callgraph-generation code take that into account, and get a more accurate callgraph. Otherwise, we may be missing important things when we try to modularize our code.