implemented matching of rules against goals
exil-env:back-step now considers rules with RHS assert forms in addition to facts
substitutions used in backward inference are now composed properly