grammar has probabilities
on way to testing binary grammar
added documents
use priority queues, to avoid need for messy probability updates