Add isHomogeneous and isHeterogeneous to std.typecons
Added to std.typecons
Fix small annotation mistake on unittest
Fix isHomogeneous and isHeterogeneous to drop head when copmaring types
Change HTUP typo to HOTUP
Added cases for Tuples with no elements
Fixed typo in nested template