fix meet
new domain: powerset with flag to indicate top, but keeping track of finite possibilities