term-walk now works with frames that have :fsymbols. Separated syntype-fsym-map from the term-predicate function.