Changes

Summary

1. merged
2. merged
3. cleaned up some messy proofs
4. prefer current mathpartir.sty from underlying TeX distribution;
5. more checks;
6. more uniform color --- avoid odd transparency on Windows (due to jEdit default #666699a);
7. updated documentation;
8. tuned documentation;