Type Erasure for ABI Stability

Use type erasure to decouple public binary interfaces from heavy template-based implementations.