impl. Type inference of .new

[yhara]

This PR implements two new types of .new calling.

# Call .new on specialized class
Array<Int>.new
# Call .new on generic class (with method tyarg)
Array.new<Int>
# Call .new on generic class (with tyarg inference)
Pair.new(1, true)

fix #483