incremental update is a little little bit more intelligent
Refactored ConstraintEnumerator, now can be added to matcher if custom interface implementation provided (if null, then inner will be used)