TypeResolutionTable

As described in #91.
Thank you for the hint! Done in 3127a23b751596f68a45c47b6500cf4fc7f21a15.