TypeResolutionTable

As described in #91.
Done in 61b72117fe006875a7bd564a08ff3bc342166649.