Added is_homogenous property for FiniteSet and EmptySet

@hargup check this out