Redesigned domain propagation. (close #16)

Reimplemented domain propagation with Queue instead of
recursive call.
Merge pull request #17 from notae/wip/fix-for-muse

Redesigned domain propagation. (close #16)