feat(Modal): Maximality of `𝐓𝐫𝐢𝐯` and `𝐕𝐞𝐫`

[SnO2WMaN]

𝐓𝐫𝐢𝐯と𝐕𝐞𝐫は以下の意味で極大な正規様相論理である．

[!NOTE] 任意の無矛盾な正規様相論理Λに対し，Λ ≤ᴸ 𝐕𝐞𝐫または𝐊𝐃 ≤ᴸ Λ ≤ᴸ 𝐓𝐫𝐢𝐯のどちらか一方だけが成立する．(Makinson, 1971)

• [x] depends on: #39
• [ ] Classical Propositionalの意味論を用意する（命題論理のトートロジーかどうかに帰着させる証明があるため）