Did you actually benchmark it?
I am not quite sure what “this” refers to here. What you are calling a “type-parameterized constant” is actually a function mapping from types to values that is guaranteed to be ===. You can already implement this with a pool.
Can you provide an example for a language with semantics close to Julia?