”Thinky puzzle games” is a specific subgenre and community, revolving mostly around variations of sokoban, but really has an appetite for any game that deeply explores how a few mechanics can be combined and lead to interesting consequences.