Modify connected component to use directed edges for the sort of terms.
Small bug fixes: missing guard atoms in pruning; dropped parameters in existential types postprocessing (to be further cleaned up).