Fix except/e and add append mode for disj-sum/e

Also general code cleanup.