Davor's solutions to the first half of 'Non-standard evaluation' exercis...

...es