cryptol: added a bit more about polynomials