Значение ключевого слова «частное» в Alloy? Значение объявления enum?

Грамматика Alloy 4 позволяет объявлениям подписи (и некоторым другим вещам )содержать ключевое слово private. Это также позволяет спецификациям Allow содержать объявления перечисления в форме

enum nephews { hughie, louis, dewey }
enum ducks { donald, daisy, scrooge, nephews }

Ссылка на язык не (, насколько я могу судить, )не описывает значение ни ключевого слова private, ни конструкции enum.

Имеется ли документация? Или они присутствуют в грамматике как конструкции, зарезервированные для будущей спецификации?