Experimenting with savings on hash-cons'ing Desc-based definitions