impl. method tyargs inferrence

[yhara]

With this PR,

[1,2,3].map<String>{|i| i.to_s}

can just be

[1,2,3].map{|i| i.to_s}