Add mkString to HList and tuples

This doesn't look quite right ... why is there ToList-related stuff in this PR?