Hi,

A coffee time alternative missing from the proposal:
Boolean "Less than or equal" is implication:

bool implies(bool a, bool b){
       //mathematicaly: a => b
       return a <= b; // inverted syntax!
};

The only drawback is absence of shortcut semantics.
But given the asymmetry of implication, shortcut semantics may be difficult
to justify.
This, for shortcut semantics, proper disjunction or conjunction equivalent
can be used.

how am I supposed to end the twisted road of your hair in such a dark
night??
unless the candle of your face does shed some light upon my way!!!