Finite Set First Draft

Up to add working, remove not working for a reason I’m unsure of.

More extensive tests may be needed.