PHP enum implementation by trait