Dropped Txt constructor as special case of HValDef.