all context free grammar is typed in