[GiNaC-devel] RFC: step function, Pauli matrices and improved matching