This is an impressively small implementation! That said, I’m really not a fan of how this implementation conflates terms and values - it makes it more confusing and hard to understand what’s going on. I highly recommend the implementations in András Kovács’ elaboration-zoo (mentioned in this gist), which make this more clear in my opinion.

Edit: Interesting follow-up from András on Reddit.