[Transformers] Of cxx-grammar and the type checker.