Types and Common Type System