try to add type for lambda* and define*

[VSteveHL]

I don't fully understand the type inference mechanism. I mimicked the define and lambda rules to write the inference rules for define* and lambda*, delegating the task of extracting the index-nodes corresponding to the parameters to a new function. I'm not sure if this implementation is correct.

[ufo5260987423]

Here, you should make (cadr (index-node-children index-node)) type annotation. Because it usually denote spefici identifier-reference.
And then, you can
(extend-index-node-substitution-list (car (index-node-children index-node)) (cadr (index-node-children index-node))