Fixed SF-UNIFY and BACKWARD1

SF-UNIFY now correctly returns NIL if farg1 is a compound and farg2 is
a list. Fixed bug in BACKWARD1 where bindPremises would append to the
first frame instead of creating a list of frames.