pub type Name = String;
A symbol name: predicate/action/object names, type names, etc.
pub struct Name { /* private fields */ }