Currently, types are not being detected correctly for parameters and such. It might be a good idea to alter the lambda form so that it is typed. This would require a great deal of work and make it so that the compiler itself isn't written in pure Scheme.
Logged In: YES
user_id=1577353
Originator: YES
SUA implementation in progress.