Split type t into Imm values and Sym hash-consed nodes#513

filipeom wants to merge 1 commit intomainformalsec/smtml:mainfrom

filipe/dont-hashcons-valuesformalsec/smtml:filipe/dont-hashcons-valuesCopy head branch name to clipboard