Fix docs for HashTable.

Add string->list, list->string, sort.

svn: r14138

original commit: 6b5b193815bd469a2119e1227503fe446f89e8d2

collects/typed-scheme/private/base-env.ss

@@ -538,6 +538,10 @@
 
 [maybe-print-message (-String . -> . -Void)]
 
+[list->string ((-lst -Char) . -> . -String)]
+[string->list (-String . -> . (-lst -Char))]
+[sort (-poly (a) ((-lst a) (a a . -> . B) . -> . (-lst a)))]
+
 ;; scheme/list
 [last-pair (-poly (a) ((-mu x (Un a (-val '()) (-pair a x)))
                        . -> . 

collects/typed-scheme/ts-reference.scrbl

@@ -52,6 +52,8 @@ The following base types are parameteric in their type arguments.
                                the first is the type the parameter accepts, and the second is the type returned.}
 @defform[(Pair s t)]{is the pair containing @scheme[s] as the @scheme[car]
   and @scheme[t] as the @scheme[cdr]}
+@defform[(HashTable k v)]{is the type of a @rtech{hash table} with key type
+   @scheme[k] and value type @scheme[v].}
 
 @subsubsub*section{Type Constructors}