[Retry] Add isHomogeneous and isHeterogeneous for Tuple

I managed to completely mess up my previous branch, so let's try this again.