changed consolidation behavior in distribute

got rid of the consolidate call.

made the constructors of junctions do the consolidation of things below
them; each conj structure can assume ones below are already
consolidated, so it is easy to find ones of same type.

fixed up toCNF to account for this modification. worked out (with pencil
and paper) the behavior to make sure it would actually compute the
distribution properly.

the hope is that by eliminating the need for a recursive consolidation
call, lots of overhead will have been eliminated. ref #1. also: at one
point i noticed that there were crashes being caused by stack overflow
from consolidate calls.