Universe 0:
	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