Generate a list containing all values of a finite type

Part of the Jane Street's PPX rewriters collection.
