Adds type-level equivalence base trait and materializer.