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