Resolve all names in Enum, doesn't typecheck tho
It works, probably
Test compiles