Fix #465: Adapt scala.Enumeration to not use reflection