Made exceptions more verbose and refactored constraints slightly.
Updated POD, README, and Makefile.