refactored to use Formula instead of Sentence
refactor done, central test suite added. All tests passing
made new version
new version ready for release