Doc: Updating language definition to mirror the new and refined static analysis.