Type Inference Source code type inference library. The ultimate aim of this library is to be able to determine the type of a variable or qualified name at any given offset. Currently it will simply resolve a qualified name.