Suggestion to improve proc type infer, and some complains

[Araq]

> but it contributes a lot if you look at it from the point of App Development

Nah, you're just obsessed with syntactic details and you try to justify it 
retrospectively. It's a very human thing to do but it's completely unconvincing 
to me.