Refine Domain type slightly; and replace the Domain global type decl with our Domain (what does this do?)
Refine Domain type slightly; and replace the Domain global type decl with our Domain (what does this do?)

zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru