Syntax extension that makes failwiths always include a position.