Type to support future don't-care literals.