Added Ruleset sreduction, so that rulesets can be simplified. Also added
recognization when a ruleset requires more pieces than there are spaces.