Very clever puzzle game. Combines Sokoban-like block pushing with predicate logic. So for example, if you create a rule like "Walls is you", you now control the walls, or you can undo an existing "Walls is stop"-rule and the walls are now non-colliding. The rules themselves are created/destroyed by pushing three blocks together: object IS property.
I really enjoyed it even though I was bad at it. I immediately remember thinking that I wish I had a game like that as a kid and I might've understood programming better from a young age.