Working on sequence.ml.  Changed tree construction to work with polymorphic sequences, not just int sequences.  Wrote and tested reduce.