Update XSyntax.idr