I'd be interested in reading anything you have that explains what you mean by:

> Operations can be sound, defined, predictable, correct etc. in certain contexts

Particularly outside

> the ones rust prescribes and the compiler enforces