Isn't it only the types of the AST-nodes rather than semantics you need a common representation for?