Moved some functions out of Algebra and into Expression. Created FiniteSet and InfiniteSet from Set.