fix syntax in examples in readme
Improve rspec tests
Abstract fact overloading
Add is_pe fact synthetically