Added type symbol for unresolved types.
1. BindingsResolver only exposes one function to resolve TypeSymbols.
2. Instead of putting a loc for unresolved TypeSymbols, we now use the
unresolved constructor.
3. Changed converters to reflect changes in 1.