Add lots of notes about smarter inference control heuristics
fixes
remove nonsense
Fix a formula
Merge pull request #378 from jadeoneill/master

PLN testing