Yet another question ....

I was assuming you oculd ask the type of an expression in camlp4 to do 
an induction over it (the type) ....

I do not see that in the manual !

(you can only construct trees with camlp4, but you cannot match them ?)