P1811R0

Relaxing redefinition restrictions for re-exportation robustness