TypeResolutionTable

As described in #91.
The method, as implemented here, has the correct behaviour. Could it be *implemented* without relying on `try`/`catch`?