C_, or equivalently solvelib::BasicSet(Dom::Complex),
represents the set of complex numbers.
The four basic sets are assigned to the identifiers Z_, Q_, R_,
and C_ during system initialization.
Equivalently, is(a in S) may be used.
is(a in S)