> It's not a very good proposal; some of the type info goes in comments because it didn't fit the syntax. Actually, the reason why it is put in the comments is

> It's not a very good proposal; some of the type info goes in comments because it didn't fit the syntax. Actually, the reason why it is put in the comments is that it is implemented as an experimental feature so that its usefulness can be evaluated without having to (possibly only temporarily) change the syntax.