CPP: Generalize Use After Free Libraries

[bdrodes]

The current use after free library forces dominance, meaning we can't easily extend it for our purposes. Can we modify the parameterized modules and instantiations such that the core library (the parameterized modules for use after free) do not enforce dominance?