SF-INFER implemented, some bugs fixed

COMPOUND? was previously returning T for just single atoms like ‘SEE
and NIL for valid frames like ‘(SEE).