Spliting repository

いくつかの様相論理/直観主義論理/解釈可能性論理の意味論は使用頻度が低く，アップデート時の負債となってしまっており，適切にリポジトリを切り分けることを検討している．とりあえずの候補↓

- `Modal/PLoN` (Pure Logic of Necessitation)
- `Propositional/FMT`
- `Propositional/Neighborhood`

それに伴ってProvabilityLogicなどもバラした方が良いような気もする．
ただLeanでパッケージ・ライブラリを分離したほうがよいのか今まで通り中央集権的にやったほうがよいのかは正直やってみないとわからない．