TypeResolutionTable

As described in #91.
They are, unless we require a `HashSet<T>` instead of an array in the constructor.