TypeResolutionTable

As described in #91.
Yes, and then it can throw an `InvalidOperationException`. (I thought that `ArgumentException` was better...)