Remove trailing whitespace in examples/deep_matches/constrFamiliesLib.sml
Get constrFamiliesLib.sml to compile properly.

It would load interactively under Poly/ML, but if a dependency for
another theory, or if compiled with Moscow ML it would fail to
compile.