Added all Boolean connectives.
Implemented enumerators.