Update Types.hsc