Introduce fault before optional for a better & natural explanation

[nomota]

Introduce fault before optional for a better & natural explanation

[lerno]

I appreciate what you're trying to do here, but the text needs overhaul, for example

must come at global scope

fault type is like error code names in C, all in upper case name"

And other things like

x is in uncertain state

It cannot be merged in its current state.