progress on type resolution