Wojciech, this is incredible! The combination of expressiveness, type safety, visual programming and API focus are pretty unique right now.

By the way, "Aggresive compile-time optimization" should be "Aggressive compile-time optimization".