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