Hm, regarding the "nolocal" modifier, maybe it's needed after all? It turns out that enum, which is syntactic sugar for constant, implicitly adds local. So if it's important for constants to be able to be nonlocal, isn't it for enums (which are constants) as well?