pub fn notation(ty: Ty) -> &'static str
FORMAT 3.1’s notation column, which a table prints where a sentence has no room.