Backed enum

A PHP enum whose cases each have a unique string or integer backing value.