Updating: miscellaneous changes.
Updating: fixing issues related to special treatment of prelude-exceptions.
Updating: minor changes.