TypeResolutionTable

As described in #91.
Why have `[FavorArrays]` here?