made major revisions to type
emptied out symDiff.ml
major revisions