for strongly normalising languages, hashed normal form of expressions seems like a natural method. Even non-strongly normalising languages could hash reduced expressions a la #unison-lang