Scans the AST for type definitions, and binds each type reference used as a base type to its corresponding type system object. This must be done after the BindTypeDefinitions step, since type definitions can use other type definitions as base types.

After this step, the TypeReference nodes used in the BaseTypes collection of each TypeDefinition are bound; that is, one can access the IType object representing them through their Entity property.