Check out Radiator Forever
If you are not familiar with Radiator, Robert Yang's gay game project (which has been going since I was in college), I strongly recommend checking out the new "gay as a service" itch/Steam version.
And if you have played any of these games before: there's a new app that contains several of them! It's on Steam and itch! You should read about it here!
Because of the bullshit payment processor attitude toward sex games, you might need to read that post in order to figure out how to play these games!
Robert Yang's back catalog is absolutely worth playing. Several of the games currently in Radiator Forever, his new anthology release, are great examples of mechanics operating as a joke or metaphor. They are both fun in their own right, and the kind of thing I would recommend to a student to help them think about how games work and what kinds of things they can say.
I'm so glad that Robert continues to make these projects and keep them online. I am certain that the moral panic moment we're living in will someday end. I hope it's soon!!! It should be easier to distribute gay-as-a-service games!