TypeResolutionTable

As described in #91.
Do we positively, for sure, know that `notMapped` isn't in `entries`?