Rewrite simplify to use normalize.
Rewrite simplify to use normalize.

The new algorithm is going to be:
normalize the input to Or-of-Ands form
perform some reductions in Or-of-Ands space
flatten to remove unnecessary Or's and And's

dwins/geoscript.scala,dwins/geoscript.scala,dwins/geoscript.scala