(I'm definitely going to have `union(a,b)`, but thought overloading `and`/`or` as well might look better)