Most of my contributions were to the stdlib so my knowledge of the implementation of the type system is limited sadly.

Maybe Erik, the creator, would be interested. I know he was looking at rewriting Carp in cpp at some point.