type resolution almost complete