TypeResolutionTable

As described in #91.
Why not just ask for `notMapped` via a method argument?