Merged requested to merge ralf/default into master
The notation was parsing-only and all it did was reorder the arguments for
from_option. This creates just a needless divergence between what is written
and what is printed. Also, removing it frees the name for maybe introducing a
function or notation
default with a type like
T -> option T -> T.
I volunteer to fix all reverse deps that we know about.