more unified algebraic signatures (incomplete: theorems not fixed)