some typos

"unnamed variables x and y" sounds like a contradiction.

a remark:
The deMorgan laws hold also when the empty type 0 is replaced by any other type C.