TypeResolutionTable

As described in #91.