I'm trying to use the 'typedef templates' idiom, mentioned in
Alexandrescu's work on templates. Here's a Dr Dobbs article from 2002
that says they are a proposed C++ standard:

My compiler (Visual Age C 6.0) rejects them. Are they supported? Were
they ever introduced into the language standard?

Here is an example:
template class X { /* ... */ };
template typedef X Xi;
Xi Ddi; // equivalent to X

The compiler flags the second line with an error: "A typedef
declaration must not be a template."

(Please reply to this group.)