Suggestion to improve proc type infer, and some complains

[alexeypetrushin]

You prefer to type `int` and use `echo @[1, 2, 3].map(proc (v: int): int = 
v*v)` instead of `echo @[1, 2, 3].map(proc (v) = v*v)`?