TypeResolutionTable

As described in #91.
OK! :)