TypeResolutionTable

As described in #91.
Done in 9b241288e3c7967e9849c25f70d1cf4a9c580c5e.