Abstract interpretation and static checking is a real cool thing. Thanks for sharing this and keep pushing in further developments on this!

Cheers, Matthias