Type Alias: Modality

type Modality = "cardinal" | "fixed" | "mutable";