Test equality of module parameters.

Strangely now this works, probably because the terms get expanded when
checking.  In any case, I should probably replace the calls to `synEq`
to `defEq` or similar.