Improved restrictiveness of StrategyTable#addOperationStrategy and made
other improvements to StrategyTable.