Fix calculation of implied properties with deep type-reference cycles.