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