feat: :sparkles: perfect notation support, but maybe it's too slow

[yoshihiro503]

解決しました．

• != がハイライトされない問題
• {P} + {~P} の +の部分がリンクにならない問題
• ]x, oo[ の後半がリンクにならない問題(上記と同じ原因)
• % を含む記法
• @ を含む記法
• . を含む記法
• & がリンクにならない問題
• || がリンクにならない問題

[affeldt-aist]

From which library comes from Seq.find? It was not installed by default in my opam configuration, might be worth documenting in the README.