Replace "range" with "codomain" in Logic Manual.

Closes #202.