Semantics of Data Types