parameterized-utils-2.0: Classes and data structures for working with data-kind indexed types