That's a really good list. Thanks. I also miss type annotations not being reflected at runtime (like in Python). Would be great for things like schema validations at runtime. That said, I understand the challenges: that would require changing JS, and that would make JS files larger.