Fix 2 minor errors in the manual

[ohad]

Disclaimer: I haven't used Ott directly before!

• Using fun in the comment threw a syntax error for me, so renamed to func.
• I think the cross ref should be to figure 8, not 2.

Hopefully I didn't muck up the manual re-generationl. Happy to fix, of course.

[ohad]

Another issue I didn't know whether and how to fix:

The example on page 25 (Sec. 6 Judgements and formulae) has the line:

| formula1 .. formulan     ::   :: dots

generated multiple-parses for me, but I didn't try to run the LJ example, just jankily tweaked the CBV example.
So maybe the correct fix is to have a smaller, self-contained, example here.
Happy to move this to an Issue, or just ignore.