So, the code base is immutable. Hence, it is only possible to add new terms, not remove / change existing ones. My impression is, that all terms that used a wr

So, the code base is immutable. Hence, it is only possible to add new terms, not remove / change existing ones. My impression is, that all terms that used a wrongly implemented term also ned to have a new definition appended. The hash of the main function describes an unambiguous ast, and also needs to be updated. All this initially seems tedious, but I actually think it makes sense given that it is based in a strongly typed functional paradigm. I definitely need to play around with this.