I wonder if you have any plans on how DXIL can be read with opaque pointers? (there was a bit of discussion in this post)
I think, e.g. the type of a raytracing payload struct would be unknown when using opaque pointers (if it is unused and only appears as a pointer argument).