Provides a framework for defining types that can be used to pass constant & static values as generic type arguments. These can be used in static contexts (such as static constructors & static methods), reduce the need to pass arguments through instance constructors, add compile-time validation, and more.
Create documentation on the __ type and how to use them, including for creating union-like types.