[plt-scheme] srfi/1 messes typed-scheme

Hi all,

Why is this failing:
#lang typed-scheme

(require srfi/1)

(: test-map ((Listof Number) -> (Listof Number)))
(define (test-map lst)
  (map (lambda: ((x : Number)) (* x x)) lst))

typecheck: unbound identifier map in: map

Without the require it works. Obviously this is a short example and I
don't need the require but on a bigger example I need every from srfi1
so I do need to require srfi/1 but then it claims map is an unbound
identifier.

Cheers,

-- 
Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm