Fixed type on delta expansion code; checked for circular definitions caused by situations like Parameter d1 Definition d2 := d1. In such a case, d2 has the same hash root as d1 and is no longer added to the signature as a defn.
Fixed type on delta expansion code; checked for circular definitions
caused by situations like
Parameter d1
Definition d2 := d1.
In such a case, d2 has the same hash root as d1 and is no longer
added to the signature as a defn.

trentrussell/qeditas,aliibrahim80/dalilcoin