Changed And, Or, Union, and Intersect types in ELM to be Binary, rather than Unary expressions. Ballot comments #127 and #183.