個人的にはエンジニアに最適化した形での再構成はきっとできると思います。

こういうの重要ですよね。記法が異なるだけで理解が格段に遅くなりますし・・・。

いずれ型理論の勉強と共にやってみたい。

期待してます！！