More parametricity lemmas in seqmatrix.

Personal note:
Debugging logic programs with typeclasses is a pain in the ass...