Configurable optimization and symmetry breaking.
Completed the implementation of sorted sets.
Mask function for IR.
Test for singleton components.
Union typing and downcasting.
Fixed wrong double comparing.