Bringing back Abstract Syntax.