Typreduzierung