I like the clear choices you made and that you stuck to them, even when making them optional (particularly shooting for GC-optional) might have attracted attention. Also, like the explicit implementation simplicity as a goal.

I’ve talked about it on Hn a few times, but I wrote the language I use for work. Like you, the language is primarily for me, but my motivation was to prove some type theory and philosophical (mathematics) points I held as true but couldn’t visibly see for myself. It was a trek to get finished, but it was a very rewarding experience.