Cleaner implementation of Domain.__and__()