Suggestion to improve proc type infer, and some complains

[alexeypetrushin]

It reminds me talks from Lisp community, that brackets are just a minor detail, 
and with proper IDE support and highlighting you won't even notice it, and 
after a while stop noticing and may even like it :). Yes, I guess the 
discussion is pointless, there are those who like brackets, and who don't.