[plt-scheme] Compiler optimizes Typed Scheme?!?

Hello all,

I've read about typed scheme which was recently (December) first
released. I'm curious about if the compiler is able to do any
optimizations given the type of the variables or if they are just run
time 'assertions' on the variables types.

If the compiler doesn't yet optimize the code given the variable
types, is PLT thinking about implementing this? I guess it would be
possible to gain something if one would just type every variable in a
program.


Cheers,
-- 
Paulo Jorge Matos - pocm at soton.ac.uk
http://www.personal.soton.ac.uk/pocm
PhD Student @ ECS
University of Southampton, UK