One of the most annoying things about CL is that I can't get access to compiler type inference information inside compiler macros. This lack of type information

One of the most annoying things about CL is that I can't get access to compiler type inference information inside compiler macros. This lack of type information cuts off lots of optimization opportunities. Maybe a new CL implementation can expose the type inference engine to macros and enable much better compile time code generation.