仕様なのか、作りかけなのか判断できませんね・・・

4:34 PM

このブランチが opaque-type-ast で、最近 Joe Groff が触ってるっぽい opaque-type-runtime が別にありますし。