started on listSet abstraction for finite sets.  also on the burner is a finite-approximation well-founded galois connection (galois up to finite approximation)