殺すタイプ:定義、構成,および双線形性