Interface inheritance and enum types