класс шаблона шаблона с параметром шаблона const

Я не понимаю, почему это не компилируется:

struct  A
{};  

template 
struct  B
{};  

template class T1, class T2> 
struct C
{};

int
main  (int ac, char **av)
{
  typedef B b;              //compiles
  typedef B b_const;  //compiles
  typedef B ba;                  //compiles
  typedef B ba_const;      //compiles

  typedef C c1;           //compiles
  typedef C c2;     //compiles
  typedef C c3;     //ISO C++ forbids declaration of ‘type name’ with no type
}

(я считаю ссылку на стандарт немного загадочной)

Что мне нужно изменить, чтобы сделать он компилируется?

РЕДАКТИРОВАТЬ:

Детали компилятора (кажется, уместно):

Using built-in specs.
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.4.4-14ubuntu5' --with-bugurl=file:///usr/share/doc/gcc-4.4/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.4 --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --disable-werror --with-arch-32=i686 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.4.5 (Ubuntu/Linaro 4.4.4-14ubuntu5) 

РЕДАКТИРОВАТЬ2:

Посредством объяснения я пытаюсь сделать что-то вроде этого:

template class TheContainer, class T> 
struct Iterator

template 
struct  Container

typedef Iterator iterator;
typedef Iterator const_iterator;

Техника для не -шаблонные контейнеры находятся в конце этого ускоренного документа: http://www.boost.org/doc/libs/1_46_1/libs/iterator/doc/iterator_facade.html

Думаю, решение не для размещения шаблонов. Оглядываясь назад, это кажется очевидным.