Type lists traits and manipulation (to some degree), inspired from "Modern C++ Design", by Andrei Alexandrescu (http://erdani.org/index.php/books/modern-c-design/index.html)
C++ strong types, inspired from:
- Jonathan Boccara, series on strong types (https://www.fluentcpp.com/2016/12/08/strong-types-for-strong-interfaces/)
- Pierre Baillargeon, blog post: "Hypothetical C++: easy type creation" (https://www.spiria.com/en/blog/desktop-software/hypothetical-c-easy-type-creation/)