I agree, hashing content of syntax sub-tree is great idea. Also I like the idea of personalizing the interpreter, like output "I found and typechecked these def

I agree, hashing content of syntax sub-tree is great idea. Also I like the idea of personalizing the interpreter, like output "I found and typechecked these definitions". Now when things go wrong you have somebody to be angry at.