[plt-dev] more requests for typed-scheme

After a disasterous conversion attempt.

We need:

1. local

2. empty?, first, second

3. make-list (srfi/1) (provide all base types for now): well, we  
really need a polymorphically typed srfi/1

4. list->string, string->list (base)

4. We need docs for primitives (say filter) and examples.

6. Is it really true that filters can be defined only via the (: ...)  
form (at the top level)?

-- Matthias