TypeList

[KStocky]

Is your feature request related to a problem? Please describe.
Dealing with templates that can take a variable number of arguments is fairly fiddly at the minute due to the lack of variadics. It might help to make things easier by creating a type list template which allows me to iterate through the list with a type trait template. A good example would be implementing any_of would likely be easier with a type list.

Describe the solution you'd like
Implement type lists as seen in Andrei's article from 2002 and see where it gets us

Describe alternatives you've considered
The alternative is just to continue doing the fiddly implementation that i have done with creating concepts.

Additional context
Add any other context or screenshots about the feature request here.

git with Andrei's implementation