doc entry for cong has a typo

[pnwamk]

(= X (fun from) (fun to)) should read (= Y (fun from) (fun to)) in the docs for cong.

[pnwamk]

i.e. in the type to the right of the arrow of the syntactic form.