Docs. Rule types. Grammar modularization.