finish documenting examples 1 - 5 to illustrate join calculus programming