It will be mathematically sound. That MEANS there are no legal escapes from it.
Any TYPE can be wrapped in a struct and the RESULTING struct can still exhibit the same const BEHAVIOR - in other words, no magic behavior for certain TYPES.
Const behavior will be transitive.
Const behavior for type T will be equivalent for all types T.