added more integration tests for backward chaining
fixed bug preventing backward inference rule matching to work
  from front-end layer (worked on env layer)
  - rule-rhs-assert-forms now identifies assert as first symbol
    in the form using symbol-name - otherwise () returned as
    (equalp 'exil-env:assert 'exil:assert) is false
added backward chaining integration tests to suite to run on load