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

Good call. I'm not sure why I added those.