07.02 Typechecking: Types (2)