Work in progress on enumeration types