Suggestion to improve proc type infer, and some complains

[termer]

I only use the JS-style sugar proc syntax when I'm doing really simple 
functional array manipulation. Most other times it looks ugly or stupid.