Finer propagation for join function.
Fixed join cardinality calculation.
Bool extends Int, merged bool var and bool literal.
Removed obsolete bool and int cast.
Merged set and set literal.
Only rewrite changed ir nodes.
Coalesce sets.