Properly handle tuples in typespecs
Improve typespec docs