Adding an implicit cast node for each lvalue to rvalue conversion has a severe impact on the number of nodes in the AST. Have you considered to add a bit to the nodes that might be casted (or at least the more frequent ones) or other alternatives?