An educational experiment in creating typesafe Enums for PHP