Added IsTuple Generic-like type class
Added IsCaseClass LabelledGeneric-like type class
Added IsSealedHierarchy LabelledGeneric-like type class