Infer types of lambda parameters

[yhara]

# :-(
3.times{|x: Int| ... }
# :-)
3.times{|x| ... }

The type of x should be inferred from the signature of Int#times.