Examples: updating the whiley code in the examples directory to reflect the new syntax.