Provide an API for returning inferred types for a code fragment

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.

We could use this to perform type checking in module bodies and also during eval.