loosened generics for delta evaluation
minor changes (mostly javadoc)
refactored evaluated move cache
javadoc update
redesigned generics in constraints (deltas)
refactored abstract problem and usages