Improve lset#eqjoin; remove lset#product.

Improve lset#eqjoin so that it supports both 0 and > 1 join predicates. When
used with zero join predicates, it computes the Cartesian product; thus,
lset#product is redundant and can be removed.