Add statement for parametricity of eq on seqmatrix.