Add formal type arguments to TypeAlias
to support statemetns like template <class Base> using Super =
Core::Reflect<Base>;
Add a specialization expression to formal type argument
to Model C++ specialization
Add explicit template instantiation node
to model declarations like this:
template class Model::TypedList<className>;