Added logsumexp-specific error message to logsumexp method. Also, a cosmetic change.
Cosmetic changes to Library.hs
Major changes.
Changes (rewrite commits later)
Fixed a bug in optimizeGrammar and in descriptionLength.