yes. Commiong to that, I wonder if there is faster to write

case EParenthesis( { expr : ECheckType(_, path) } )

or

case macro ($_:$path)

? I mean there must be a cost to this kind of "reversed" pattern matching (macro reification), isn't it ?