- outstanding changes for issue #1
- extended and cleaned up tests
- fix proposition string (name) ordering