多ソート代数