Gimped unions (cannot upcast to topmost clafer type.
Upcasts.
Renamed classes.
Ref over abstract.
Topmost type hierarchy.
Removed optimization that no longer makes sense with the newest logical framework.
Some and all quantifiers.
Propagators for the 4 quantifiers.
More quantifiers.
Fixed and optimize group cardinality.
Organization.
Removed assumption.
More docs.
Compare.
Optimize implications.
Fixed join not being idempotent.
Boolean functions.
Optimize some
Fixed optimization.
Fixed join parent.