Function check_native_grammar_concepts 

pub fn check_native_grammar_concepts() -> Vec<NativeConceptProblem>

Checks the concepts of every rule of every native grammar.

Every rule names a concept that has a record, the records’ native source aliases are exactly the rules that name them, and a concept in a language namespace (grammar.diff.…) is named by that language alone.