Added MonadCatch law.
Bumped version number.