Generate a list containing all values of a finite type
Ppx_enumerate is a ppx rewriter which generates a definition for the list of all values of a type (for a type which only has finitely many values).