added symbolic comph. set on default. a explicit frozenset is generated if a operation on the symbolic requires enumeration. pyb stays symbolic as long as possible