fixed bug in Number hypothesis that didn't limit size
updates to RationalRules to bring in line with new setup
Reorganization of Number
update README
Merge branch 'master' of https://github.com/piantado/LOTlib
wrapped for not installed graphviz
_
fixes to FOL
moved Y combinator to Primitives.Functional since its no longer needed in Eval
Eric
Converted NumberGameHypothesis compute_single_likelihood to compute_likelihood; updated sphinx docs.