Add `Boolean` utilities that evaluate a sequence of booleans

[Jongsun Suh]

• AndAll: Given a sequence of booleans X, return whether or not every element is true.
• NandAll: Given a sequence of booleans X, return the variadic negated intersection result, i.e. false only if all elements are true.
• NorAll: Given a sequence of booleans X, return the variadic negated union result, i.e. whether or not every element is false.
• OrAll: Given a boolean X, return the variadic union result, i.e. whether or not any element is true.
• XnorAll: Given a sequence of booleans X, return the variadic negated exclusive union result - i.e. whether an odd number of elements are true.

[Jongsun Suh]

Closed by #79