Cleaning up the examples
Updated the examples
Added an invariant based example. Added toString to the conditions
updated the demo site
Merge branch 'hotfix/fix-examples' into development