Cleaner implementation of Domain.__or__() (seems slower?)