More general hashcons terms