Added is_homogenous property for FiniteSet and EmptySet