TypeResolutionTable

As described in #91.
Indeed, all I needed is `SingleOrDefault `. Done in 3bb1136e803390efcd13da9e78c53436c699d7d2.