Simple 2 args facts work both ways
Simple 2 args facts work with both vars unbound
No Args and One Arg Facts work
Test improvements
Support for propositions
Implementing rules - currently broken