updating examples to new syntax
Merge branch 'opt1' of github.com:lassenielsen/apims into opt1
a lot of work on purity verification