Add Majority expression factory function

The implementation creates And terms from all combinations of the
majority of input arguments, and Or's them all together.
Add Majority unit tests