reflexpr interacts with Core Issue 1581, consider porting

[hubert-reinterpretcast]

reflexpr introduces additional cases of contexts where instantiation should be triggered through the machinery of Core Issue 1581. This was covered by the resolution of CA 008 prior to the rebase.

[hubert-reinterpretcast]

There is a negative interaction between the resolutions to CA 008 and CA 016 that should probably be sorted before resolving this issue.

[camio]

Do you have a concrete recommendation here? As I mentioned on #55 I don't think it is worthwhile to spend a lot of time dealing with concepts issues that already have resolutions.

[hubert-reinterpretcast]

Whether there is a Core Issue 1581 interaction is up in the air without clarity over #65. I don't think we can act on this issue now.