Various fixes and improvements:

   * exceptions when tuples are of unexpected lengths (towards #13)
   * String types no longer specify length twice!