In `notation.pdf`, section 'A.23, Scheme functions', the function header
(define-safe-public (check-context-path path #:optional location)
gets currently translated to
check-context-path path . lambda*:G59
which looks weird. David, in case this is unavoidable (I remember
faintly that you've mentioned something along this direction), can you
provide an explanatory text that I could add to the beginning of A.23?
Werner
