[ MRG ] Added is_homogenous property for FiniteSet and EmptySet. Fixes #7488

I am not sure if I am rebasing it correctly, but the code is properly working. Basically this PR just combines [these commits](https://github.com/sympy/sympy/pull/7533/commits). @asmeurer , @hargup , @debugger22. Someone please review.