Support "specifications" in hashconsing