TypeResolutionTable

As described in #91.
Is exception handling a good way to model control flow?