Bug Fixes: reset with exposed facts, colission detection in CanonBallCalculator Known bugs: cannot guarantee closed set for exposed Facts Added GlobalFactDictionary for ease of use