Inner class name change.
Simplify common XYC, XY, and XC arithmetic expressions.
Fixed downcasting.
Reorganized PropUtil.
Test negative constraints. Fix entailments for a few propagators.
Cardinality propagation for filter string.
Advise certain propagators that have a "take" set.
Fixed multilevel casting.
Fixed offset sorting optimization.
Fixed partial int analysis.

For example:

    abstract Feature
        cost -> int
    A : Feature
        [cost = 5]
    B : Feature

The analysis will now ensure that 5 is available for A.cost.ref whereas before the presence of unconstrained B.cost.ref would void the analysis of A.cost.ref.
Test more upto 11 instances for the positive tests.
Stronger propgation strategy for strings.
Added methods to the Scope API to ease changing the scopes of an already existing Scope.
Fixed for search strategies on no variables.
Lookup Javascript scopes using the variable name which is unique rather than the Clafer name which is not unique.
Renamed filter methods.
Removed the option to create objectives with the same id.
Removed the option to create constraints with the same id.
Removed public id from objective.
Remove unused refs and children in Ir joins.