More in .gitignore.
Parametricity lemmas for addseqmx and mulseqmx.