Added comments to Rule.hs