Update todo
Handle new @~ AST representation of x~y