Check whether generated AST will have empty types.

Internal rules are included.

We compute by a saturation algorithm which token types are used in which non-terminal. A non-terminal does not use any token types, we flag an empty type.