type addition