TypeResolutionTable

As described in #91.
`IReadOnlyCollection<T>` sounds good :+1: