A C++ library to manipulate lists of types