Add examples of diverging functions

[japaric]

Explain why we can do these "weirds" things:

let a: int = return

let y: int = match x { true => 1, false => break };

[steveklabnik]

This isn't the bottom type, it's a diverging function.

[steveklabnik]

I'd be happy to mentor anyone who wants to work on this!