minor edits
note why associativity holds for binomial semiring
clarify story for ogf's
Merge branch 'master' of github.com:byorgey/comp-gfs

Conflicts:
	comp-gfs.lhs