type-witness-based abstractions, mostly for emulating polymorphism in const fns
for coercing between equal types with generic const arguments
implementation detail of typewit_gce
implementation detail of typewit