revert unification redesign, memoize-by-pointer for large equality traverses
revert unification redesign, memoize-by-pointer for large equality traverses

ngzax/urbit,jfranklin9000/urbit,ngzax/urbit,urbit/urbit,urbit/urbit,ngzax/urbit,urbit/urbit,jfranklin9000/urbit,urbit/urbit,ngzax/urbit,jfranklin9000/urbit,ngzax/urbit,jfranklin9000/urbit,urbit/urbit,ngzax/urbit,jfranklin9000/urbit,jfranklin9000/urbit,jfranklin9000/urbit,urbit/urbit,urbit/urbit,ngzax/urbit