WyC: continuing to improve the documentation for statements in the AST.