WHERY-14: Update the Datalog AST to support positions, and make the checker use them.