SI-6591 Reify and path-dependent types 

review @retronym @paulp