Add two more examples.

I also moved the example at the bottom of the specification.
@marcoscaceres, can you take a look?

It should fix #59 
Given that we are doing a bit of a rewrite, maybe drop "is an application that".