TypeResolutionTable

As described in #91.
Great idea! Done in c6d0ec362a557896afbd976ca4f0f4427bbc2842.