at-keys propagate all the way to the AST