Provide an API for returning inferred types for a code fragment

[josevalim]

Potentially one fast API for providing type for cursor context so we can infer e.g. map or keyword keys and one precise for things like inline hints over the whole file/expressions.