TypeResolutionTable

As described in #91.
Why not ask for `sut` from the method arguments?