Better handling of uninstantiated sentences.
Added rule for eq/2; apply all possible rules.