Baba Is You (2019)

Pushing words into new sentences changes the rules of the board, giving each move a consequence you can stop and consider. Undo lets you test a literal reading and then revise it, with no need to react quickly to what happens. Later stages can be extremely demanding because several rules interact at once. This suits a reader who enjoys challenging assumptions and holding a complicated idea in mind for longer than a single sitting.