Mode type

Defines values for Mode. Possible values include: 'proof', 'spell'

type Mode = "proof" | "spell"