Fix prose on `lookup'
As demonstrated by the example `(judgment-holds (lookup ((x 1) (y 2) (x
3)) x any) any)', `lookup' does not return the "the first association of
a given key", but "all the associations of a given key".
Fix missing word
Fix typo on `discard-Σ-O'