partial fix #201: improve assert doc, link to "generateAssertions"
fix 173: documentation (frac QQ)[x] vs frac (QQ[x])