fixed performance problem (f:g)(x)=Const. Enumeration is avoided
fixed bug in symbolic union set (wrong __eq__ method)