Add examples for Checked[Add|Sub|Mul|Div]

Thanks. I've adopted this suggestion.