Updated WhileyWeb to use new syntax; this is EXPERIMENTAL only for now.
Merge branch 'master' of github.com:DavePearce/WhileyWeb
Updated whiley runtime...
Updated examples to use new syntax