SI-6591 Reify and path-dependent types

test run/reify_newipl_30 disabled due to SI-7082
test t6591_4 moved to pending due to SI-7083