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

In this example and the examples below I think you should be able to leave off the suffix on literals except for the receiver of the `checked_foo` method. In other words, when unwrapping I don't think you'll need the suffix and when passing arguments I don't think you'll need the suffix.