Revised package description.
Revised module LogicGrowsOnTrees.
Revised Checkpoint.
Revised MapColoring.