TypeResolutionTable

As described in #91.
Indeed. Done now in 1758161db19cebad5d5c39d585500b6a82e85990.