Do not allow malformed grammars

[digitalheir]

Ensure that the probabilities in a SCFG are proper and consistent as defined in Booth and Thompson (1973), and that the grammar contains no useless nonterminals (ones that can never appear in a derivation).

check that no rules are doubled with different probabilities (in which case we either have undefined dehaviour or conflate the rules?)