Hello, I’m the person at chia working on the chialisp compiler. I’m mainly replying to make an introduction.
There may be some more ideas you can take from our effort to modernize the chialisp language (overview here. Ongoing development is taking place in this rust code.
If interested, we’ve been collecting feedback on a gradual type system for chialisp (intro doc) and there may be some helpful work or observations in there if you decide to do something similar.
If I had one piece of advice, it’s to nail down a great system for mapping high level lisp to low level code for debuggers and interpreters early. Chia is behind in this (hoping to catch up) and it’s probably the biggest negative feedback about chialisp development.