[Ecls-list] Type propagation

[Alexander Gavrilov]

> I have stripped down and reimplemented the type propagator. Right now it is
> kind of stable and implements forward type propagation for most forms. 

I wonder how difficult might it be to add a few more primitive
unboxed types and builtins using them? I'm thinking of the types
used by the SSE intrinsics, e.g.:

http://msdn.microsoft.com/en-us/library/kcwz153a%28v=VS.71%29.aspx

I expect it to be somewhat simpler than e.g. in SBCL, where it
involves modifying all kind of stuff like on-stack allocation,
and thus still isn't actually implemented.

Alexander