Mon, 30 May 2011 17:54:15 +0100 Mario de Sousa When checking semantics of expressions, skip semantic checking of data type definitions