Early and unused implementation of type resolution.