Examples: give correct name to cpp file.
Examples: add new twophase example.
Examples: fixed 'sw' example so that it compiles.

The issues fixed were all things that should have been caught by the
equelle compiler, and improved checking could use the old version
of this file to test checking.