More types, OppositSigns(a,b), IsPowerOfTwo(x)
IsPowerOfTwo, OppositeSigns