Updated presentation with more examples, fixed some bugs, highlighting