pub const TYPE_TIME: Duration;
How long should the terminal take to type a single character when displaying a message.