Let's leave it there for now. The meaning of a piece of memory is critically determined by an external interpretation of its content. Untyped universes of computational objects decompose naturally into subsets with uniform behavior. Sets of objects with uniform behavior may be named and referred to as types. Obvious I know.
Communication is based on agreeing on established meaning, or consistent interpretation.
But, innovation can be defined as deviation from established meaning. Human communication is about progress. Therefore all progress depends on the unreasonable man.