gsoc: type inference, again

[Charles Z. <ka...@be...>]

Hello Bruno and Sam,

Asking again because I don't think I got a reply from a few weeks ago.

I'd like to start leveraging the type inferencing in SICL's compiler,
but CLISP's bytecodes abstract away the  type checking into C. It
would be nice to eliminate provably unnecessary type checks with the
inferred information. So, would it make sense to add raw instructions
to do things like CAR/CDR without type checking? These can be inserted
only when the compiler can prove safety; otherwise, it can fallback to
the old inlie CAR/CDR instructions to improve space, for example. The
same holds for other system functions implemented in C.

I know CLISP just currently ignores type declarations, but it might
also be useful to add type annotations for the standard library
functions at least.

Charles