changes in type resolution