Hey, author here. Thank OP for considering my project interesting.
Our goal here is to experiment different ideas to capture the underlying structure of type errors. We went through a few iterations up to this day and are going to continue improving on the design, the type inference engine and various integration options. Feel free contact me if you have inquires in the Chameleon project.
Tony Fu [email protected]