TypeResolutionTable

As described in #91.
I tend to prefer `ResolvedType` as it's most specific than just `Type`. What would you prefer?