Infer the types from method calls on built-in types

[brettcannon]

Since built-in types cannot have their methods changed we can infer the return types of their methods.

Depending on coverage, it may or may not require knowing the types of the arguments.

[brettcannon]

This might tie into #2 .