Second-Order Monadic Logic (for Modal Logic)

要するに `Language.Frame.Rel.pred` の $P_p, P_q$ （命題変数 $p,q$ に対応する述語）を量化したい，という要請がModal Logic側にあるため．