シフト整数計数のサポート

フェーズオブジェクトのみならず、シフトにも整数計数を実装しました。これにより、時間制約を使う必要がなくなりソフト制約化が可能になります。ソフト制約の単位は１（半日単位）です。上の場合、AMのみの場合が１、PMのみの場合が１、日勤（AM・PM両方）の場合２に設定しています。WAPは、これらのOR集合です。WAPに対する基数制約になります。このとき、シフト集合は、常に排他論理を満足するので、チェックはしていません。（Activeになるシフトは常に一つ/Day)　通常２２日制約ですが、１日出勤すると２となるので、全体を４４で制約しています。