Statistics for Enumerated Types in C∀