TypeResolutionTable

As described in #91.
Done in cd3e7aa1e28bde697fa212372828900ae7d3eca4.