fix issues high level example

[Vindaar]

While fixing the high level examples in #43, I noticed that there are multiple regressions in it.

Go back and fix them!

[Vindaar]

I think most of them have been fixed by now. Some things were reintroduced in #57.