add a function to obtain a set with all elements of a finite type

This lets us use the existing nice gmap/gset infrastructure even for total functions when the domain type is finite.