pub type ConcreteConst = ConcreteConst<Interner>;