TypeResolutionTable

As described in #91.
`ResolvedType` sounds good :+1: