Demo

First draft of demo and tutorial, which cover equaliy, truth and falseness checking and expected exceptions