LISPの一部のコードに型推論を実装することってできるよね。

誰かやってよ。
最強に生まれ変わるよ。