New ideas about value types