Provides ternary singletons True, False, and Maybe with ==,!,&,|,^ operators implemented according to three-value logic.
>= 0
Maxim Chernyak
