1. Implement the new type-system operations in all cpp-types
2. While building the du-chain, use DelayedType where necessary to resolve the types once template-information is available.
3. When a template-class is instantiated, a new specialized declaration, specialized contexts, and specialized types are created exactly as needed. This is very close to real C++, and makes the du-chain template-aware as it is, without adding c++ specific hacks on top of it.
4. Add some tests for the template functionality. For example smart-pointers work already.