Type semantics and statement of type soundness