Universe 0 (lets call it class):
    vector<int>
    string

Universe 1 (lets call it Kind):
    class
    template<class> class
    template<class,class> class
    ...

Universe 2 (lets call it Sort):

    template<Kind> class;
    template<Kind> Kind;

    where Kind can be instantiated with any value from Kind