Rewrite ceylon.ast.core module documentation
Rewrite ceylon.ast.redhat module documentation