I appreciate the quick R, but Z-undo is also standard for sokoban clones. There's like 2 things moving on screen so you could just make an array of the last 1000 game states
Played without sound
I would replace the books that permanently disappear and you have to press E on with something simpler: If you are standing on a book, you can read the book. If you press any movement keys while reading, you step away from the book and stop reading. Disregard this idea if the E interaction on the books is meant to teach a future mechanic
The ice streaks don't reset on first death (intentional? if so, have another set of ice streaks sprites that are more worn away). R doesn't work during the death animation.
Rapidly tapping right then down will drop the down input.
Holding right then tapping down while still holding right will drop the down input.
Anti-clockwise was kind of a big difficulty spike, but its fine since its the last level before introducing a new mechanic.
Make an L shaped ice streak sprite for corners in your path