Finish fleshing out the Domain module; update the TODO.